科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:TLa +正式规范和验证新的实时通信协议*
Paul Regnier; George Lima; Aline Andrade;
机译:正式规范和安全通信协议模型的验证
机译:安全通信协议模型的正式规范和验证
机译:关于SNSP的设计和形式验证:针对安全关键型应用程序的新型实时通信协议
机译:IVHS降级操作模式的通信协议的正式规范和验证
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:勘误至:在欧洲获得及时的正式痴呆护理:Actifcare(及时正规护理的访问)研究方案
机译:TLA +正式规范和新实时通信协议的验证
机译:通信协议规范和验证的形式化方法
机译:通信协议规范输入装置是将通过功能显示的通信协议规范输入到两组处理的分割中,
机译:通信协议规范合规性验证系统
机译:信息通信设备,验证服务器,通信系统,用于通信数据的泄漏源指定方法以及用于通信数据的泄漏源指定程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。